(0 7 6)(1 18 16)(2 19 4)(3 10 5)(8 20 13)(9 14 12)(11 17 15)
ALLOWS (11/8)-SEQUENCE
1: (13 15 20)
(0 7 6)(1 18 16)(2 19 4)(3 10 5)(8 20 11 17 15)(9 14 12)(13)
2: (11 17 20)
(0 7 6)(1 18 16)(2 19 4)(3 10 5)(8 20 15)(9 14 12)(11)(13)(17)
3: (9 14 12)
(0 7 6)(1 18 16)(2 19 4)(3 10 5)(8 20 15)(9)(11)(12)(13)(14)(17)
4: (1 18 16)
(0 7 6)(1)(2 19 4)(3 10 5)(8 20 15)(9)(11)(12)(13)(14)(16)(17)(18)